La compassione di Francesco d’Assisi per gli altri e per il Creato

Per Gli Studenti Del Corso Di Elementi Di Analisi Numerica

correzione I esonero EAN correzione III esonero EAN testo III esonero EAN osservazioni su convergenza dei metodi φ e sui metodi Runge-Kutta (non presenti negli appunti al focal point) correzione II esonero EAN matrice di adiacenza dei ragazzi di EAN (..ha ilcellulare di..) ciò che ho insegnato di diverso rispetto agli anni scorsi sulla teoria di Perron-Frobenius, metodo delle potenze, pagerank ...

Un'applicazione di e-government per la gestione di gare d'appalto nella Pubblica Amministrazione

Lo sviluppo pervasivo delle nuove tecnologie dell’informazione, e in particolare di Internet, rappresenta un fattore di accelerazione e, al tempo stesso, lo strumento per “reinventare” le modalità di organizzazione e funzionamento delle amministrazioni pubbliche. In questo articolo viene presentato un sistema per la gestione automatica sul Web di gare d’appalto bandite dalla Pubblica Amministra...

Istituto per La Ricerca Scientifica E Tecnologica

This report has been submitted for publication outside of ITC and will probably be copyrighted if accepted for publication. It has been issued as a Technical Report for early dissemination of its contents. In view of the transfer of copyright to the outside publisher, its distribution outside of ITC prior to publication should be limited to peer communications and specific requests. After ousid...

Istituto per La Ricerca Scientifica E Tecnologica

Reasoning theories can be used to specify heterogeneous reasoning systems. In this paper we present an equational version of reasoning theories, and we study their structuring and composition, and the use of annotated assertions for the control of search, as mappings between reasoning theories. We define composability and composition using the notion of faithful inclusion mapping, we define ann...

Istituto per La Ricerca Scientifica E Tecnologica